<HTML><HEAD><TITLE>all_solutions(+Goal, ?NSols)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_gap_sbdd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>all_solutions(+Goal, ?NSols)</H1>
Find all solutions to the given goal
<DL>
<DT><EM>Goal</EM></DT>
<DD>The goal to execute
</DD>
<DT><EM>NSols</EM></DT>
<DD>The number of solutions found
</DD>
</DL>
<H2>Description</H2>
   Finds all solutions for the goal Goal, and prints various statistics
   about the computation (CPU time taken, number of dominance checks
   performed, etc.).  The number of solutions found is unified with NSols.

<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H2>See Also</H2>
<A HREF="../../lib/ic_gap_sbdd/all_solutions-1.html">all_solutions / 1</A>, <A HREF="../../lib/ic_gap_sbdd/first_solution-1.html">first_solution / 1</A>
</BODY></HTML>
